Discover gists

Typing Haskell in Haskell

MARK P. JONES

Pacific Software Research Center

Department of Computer Science and Engineering

Oregon Graduate Institute of Science and Technology

MIFARE Classic

Here are the steps to follow in order to read your cards. Your goal is to find as many keys as possible. The keys unlock sections of your card for the Flipper to read them - you must have a card. Once you read enough sections, you can use an emulated or cloned card at the original card reader to unlock it (sometimes even without finding all of the keys!).

Reading the card

Steps:

Dictionary attack: Try to scan your MIFARE Classic card with NFC -> Read. It will try a dictionary attack of default keys to unlock your card, as well as any keys you may have found through other methods. Do not interrupt the dictionary attack, it may take a while! If it finds 32/32 keys (or 80/80) with 16/16 sectors (or 40/40), congratulations and proceed to "Emulation". If not, continue to step 2.
Mfkey32 attack (): If you have only a few keys found or no keys found, you can get mor

	const newOwner = 'blah@example.com';
	const fileTypesToTransfer = ['application/vnd.google-apps.form']; // https://developers.google.com/drive/api/guides/mime-types

	function changeOwnership() {

	console.log('Gathering all files in Drive of type ' + fileTypesToTransfer.join(',') + '...');

	let fileIterator = DriveApp.searchFiles(fileTypesToTransfer.map(x => 'mimeType = "' + x + '"').join(' or '));
	let files = [];
	while (fileIterator.hasNext()) {

	/**
	* And gate:
	* out = 1 if (a == 1 and b == 1)
	* 0 otherwise
	*/

	CHIP And {
	IN a, b;
	OUT out;

	#!/usr/bin/python3

	import discord
	import random

	intents = discord.Intents.default()
	intents.voice_states = True
	client = discord.Client(intents=intents)

	join_phrases = ['👋 {0} joined {1}', '🙋 Hi {0}! Welcome to {1}', '😊 Welcome to {1}, {0}!', '🤩 EVERYONE SHUT UP! {0} is in {1} now.']

	/**
	* 1. Go to script.google.com, and when logged in as the user that you want to do the "checking", click "➕ New Project" in the top right
	* 2. Copy/Paste all of this code into your new project, and give it a name (e.g. Google Doc Change Notifier)
	* 3. Change the `const docs = []` line to include all of the Docs you want to check. For example, `const docs = ["https://docs.google.com/document/blah", "https://docs.google.com/document/foo"];
	* 4. Click "▷ Run" in the toolbar and authorize the script to run.
	* 5. You're done!
	*/

	const docs = ["https://docs.google.com/document/d/1Gwt56BiconMLg_u-hdo0asdff27U7DlqLOzHVVgNnoM/edit"];

	CREATE SEQUENCE public.global_id_seq;
	ALTER SEQUENCE public.global_id_seq OWNER TO postgres;

	CREATE OR REPLACE FUNCTION public.id_generator()
	RETURNS bigint
	LANGUAGE 'plpgsql'
	AS $BODY$
	DECLARE
	our_epoch bigint := 1314220021721;
	seq_id bigint;

	/**
	* custom wrapper for AsyncStorage that splits the data of a given storageKey to smaller chunks
	* a large object with multiple keys will be spreaded to all the keys in the first level of the main object
	* { data: { key1: value1, key2: value2, ...} }
	* will be saved as key1 => value1, key2 => value2, ...
	* this approach is intended to prevent the limitation of 2MB per value of AsyncStorage by spreading the values across the storage
	*
	* basic usage:
	*
	* import AsyncStorage from '@react-native-community/async-storage';

	from fastapi import Request, HTTPException
	from pydantic import BaseModel, BaseModel, HttpUrl
	from modal import Secret, App, web_endpoint, Image
	from typing import Optional, List
	from example import proposal
	import os

	app = App(name="circleback", image=Image.debian_slim().pip_install("openai", "pydantic", "fastapi"))

	class Attendee(BaseModel):

	version: '3.8'

	services:
	sql:
	image: mcr.microsoft.com/azure-sql-edge
	container_name: sql
	ports:
	- "1433:1433"
	environment:
	ACCEPT_EULA: "1"